1. Computability in combinatory spaces : an algebraic generalization of abstract first order computability

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Recursion theory,، Combinatory logic

رده :
QA
9
.
6
.
S55
1992

2. Computability in combinatory spaces : an algebraic generalization of abstract first order computability

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Recursion theory,، Combinatory logic

رده :
QA
9
.
6
.
S56